(0 12 10)(1 11 9 6 4)(2 15 8 7 5)(3 14 13)
ALLOWS (11/8)-SEQUENCE
1: (0 2 10)

(0)(1 11 9 6 4)(2 12 10 15 8 7 5)(3 14 13)
2: (8 10 15)

(0)(1 11 9 6 4)(2 12 10 7 5)(3 14 13)(8)(15)
3: (6 11 9)

(0)(1 11 4)(2 12 10 7 5)(3 14 13)(6)(8)(9)(15)
4: (2 12 10)

(0)(1 11 4)(2 7 5)(3 14 13)(6)(8)(9)(10)(12)(15)